Formulating Informatics Problems Through Shared Mental Models: A Case-Based Workshop